<?php
/**
 * @file
 * Displays the header section.
 *
 * Usage:
 *  - A page that wants to display the header section should include/require
 *    this page.
 *
 * Parameter(s):
 *  - None.
 *
 * Global variable(s) set:
 *  - None.
 *
 * Global variable(s) unset:
 *  - None.
 *
 * Exception(s):
 *  - None.
 *
 * This file includes/requires:
 *  - h_greenindeed.php
 *  - h_header.php
 */

// header file(s) ==============================================================
require_once "h_greenindeed.php";
require_once "h_header.php";


// implementation ==============================================================
?>
<div class="DivHeader">
<?php // main menu ?>
<?php foreach ($INFO_HEADER as $info_header) { ?>
| <a class="<?php echo CSS_CLASS_HEADER_LINK ?>"
     href="<?php echo $info_header[HEADER_INDEX_LINK] ?>"
     title="<?php echo $info_header[HEADER_INDEX_TIP] ?>"
  ><?php echo $info_header[HEADER_INDEX_TEXT] ?></a>
<?php } ?>
|
<?php // locale select box ?>
<span class="SelectBoxLocale ui-widget">
  <select class=<?php echo CSS_CLASS_HEADER_LOCALE ?>>
    <?php
    foreach ($LOCALES as $locale) {
      $selected = ($locale_user == $locale[LOCALE_INDEX_ll_CC]) 
                ? "selected"
                : "";
    ?>
    <option value="<?php echo $locale[LOCALE_INDEX_ll_CC] ?>"
            <?php echo $selected ?>
    >
      <?php echo $locale[LOCALE_INDEX_DESCRIPTION] ?>
    </option>
    <?php } ?>
  </select>
</span>
</div>
